COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	∀e w123 RW w1 0
C00003 ENDMK
C⊗;
∀e w123 RW w1 0;
∀e elwek11 w1;
tauteq ¬(135:#1 ⊃ color(W2,w1)=color(W2,RW)) 135 61 133 134 rw color1;
∃i 136 w1←w1;
unify ¬∀w1.137:#1#1 137;